$\forall$$b$:$\mathbb{B}$, $x$, $y$:Top. null(if $b$$\rightarrow$ $x$ else $y$ fi) $\sim$ if $b$$\rightarrow$ null($x$) else null($y$) fi